Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected ... / Programming and Software Engineering)
by
ISBN 13: 9783642032394
Format: Paperback (233 pages) Publisher: Springer Published: 20 Jul 2009
Save for later
Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings: 9274 (Lecture Notes in Computer Science)
by Alessandro Fantechi,Patrizio Pelliccione
ISBN 13: 9783319231280
Format: Paperback (156 pages) Publisher: Springer Published: 14 Sep 2015
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail ... 10598 (Lecture Notes in Computer Science)
by Alessandro Fantechi,Thierry Lecomte,Alexander Romanovsky
ISBN 13: 9783319684987
Format: Paperback (284 pages) Publisher: Springer Published: 20 Oct 2017
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday: 11865 (Lecture Notes in Computer Science)
by Maurice H. ter Beek,Alessandro Fantechi,Laura Semini
ISBN 13: 9783030309848
Format: Paperback (588 pages) Publisher: Springer Published: 14 Sep 2019